MonadFail proposal (MFP)